A formal model for Multi Software Product Lines
نویسندگان
چکیده
منابع مشابه
Model Checking Software Product Lines
Dear Reader, This is the second issue of the MoVES newsletter. MoVES stands for “Modelling, Verification and Evolution of Software” and addresses these fundamental issues in software engineering. The project is sponsored by the Belgian government (belspo IAP programme). Each issue of the newsletter presents a partner and a work package. This issue presents results and ongoing research ofWork Pa...
متن کاملModel-Based Testing for Software Product Lines
MODEL-BASED TESTING FOR SOFTWARE PRODUCT LINES Erika Mir Olimpiew, Ph.D. George Mason University, 2008 Dissertation Director: Dr. Hassan Gomaa, Chairman & Professor A Software Product Line (SPL), or family of systems, is a collection of applications that have so many features in common that it is worthwhile to study and analyze the common features as well as analyzing the features that differen...
متن کاملA Model-driven Approach for Software Product Lines Requirements Engineering
UML and feature models complement each other well and can be the base techniques for a systematic method to identify and model software product line (SPL) requirements. In this paper, we present a modeldriven approach to trace both features and UML requirements analysis model elements, and to automatically derive valuable models for domain and application engineering. The resulting contribution...
متن کاملA Component Model for Embedded Real-time Software Product-lines
This paper proposes a component model suitable for use in the development of embedded real-time systems where resources, such as memory and CPUs, usually are very limited. A precise sematics for this model is defined. A precise semantics is necessary to enable architectural analysis of systems specified with such a model. A typical example of such analyses is scheduling where the temporal corre...
متن کاملA Hierarchical Variability Model for Software Product Lines
A key challenge in software product line engineering is to represent solution space variability in an economic, yet easily understandable fashion. We introduce the notion of hierarchical variability models to describe families of products in a manner that facilitates their modular design and analysis. In this model, a family is represented by a common set of artifacts and a set of variation poi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2019
ISSN: 0167-6423
DOI: 10.1016/j.scico.2018.11.005